universe-dependent-sum alternatives and similar packages

Based on the "universe" category.

• universe

  8.4 2.7 universe-dependent-sum VS universe

  Classes for types where we know all the values

• universe-base

  8.4 2.7 universe-dependent-sum VS universe-base

  Classes for types where we know all the values

Do you think we are missing an alternative of universe-dependent-sum or a related project?